%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Alberto Bandettini at 2011-11-17 16:25:53 +0100 


%% Saved with string encoding Unicode (UTF-8) 

@mastersthesis{SILV,
	Author = {Silvia Lametti},
	Month = {October},
	School = {Dept. of Computer Science, University of Pisa, Italy},
	Title = {Modello dei Costi delle Tecniche di Cache Coherence nelle Architetture Multiprocessor},
	Year = {2010}}

@techreport{TILE-IO,
	Date-Added = {2011-11-17 15:24:46 +0000},
	Date-Modified = {2011-11-17 15:25:47 +0000},
	Institution = {Tilera Corporation},
	Title = {Tile Processor I/O Device Guide},
	Year = {2010}}

@techreport{TILE-REF,
	Date-Added = {2011-11-15 16:39:18 +0000},
	Date-Modified = {2011-11-15 16:40:32 +0000},
	Institution = {Tilera Corporation},
	Title = {Multicore Development Environment User Guide},
	Year = {2010}}

@article{PAQA,
	Author = {J. Hillstone},
	Date-Added = {2011-11-12 13:16:01 +0000},
	Date-Modified = {2011-11-12 13:17:24 +0000},
	Title = {Process Algebras for Quantitative Analysis}}

@url{WIK-DDR,
	Date-Added = {2011-11-29 00:39:39 +0100},
	Date-Modified = {2011-11-29 00:43:41 +0100},
	Title = {http://en.wikipedia.org/wiki/Dynamic$\_$random-access$\_$memory}}
	
@article{SPA,
	Author = {A. Clark and S. Gilmore and J. Hillstone and M. Tribastone},
	Date-Added = {2011-11-12 13:10:51 +0000},
	Date-Modified = {2011-11-12 13:12:38 +0000},
	Title = {Stochastic Process Algebras}}

@article{HAYDEN,
	Author = {Hayden, Richard and Bradley, Jeremy T.},
	Date-Added = {2011-11-29 00:36:19 +0100},
	Date-Modified = {2011-11-29 00:36:31 +0100},
	Journal = {Theoretical Computer Science},
	Month = {April},
	Note = {Submitted to TCS, September 2008. Accepted 5 Feb 2010.},
	Number = {22--24},
	Pages = {2260--2297},
	Title = {{A fluid analysis framework for a Markovian process algebra}},
	Url = {http://pubs.doc.ic.ac.uk/fluid-framework-mpa/},
	Volume = {411},
	Year = {2010},
	Bdsk-Url-1 = {http://pubs.doc.ic.ac.uk/fluid-framework-mpa/}}

@mastersthesis{FABIO,
	Author = {F. Luporini},
	Date-Added = {2011-11-28 23:50:51 +0100},
	Date-Modified = {2011-11-28 23:51:36 +0100},
	School = {University of Pisa},
	Title = {Cost models for shared memory architectures},
	Year = {2011}}
	
@book{HIL,
	Author = {J. Hillstone},
	Date-Added = {2011-11-12 13:09:30 +0000},
	Date-Modified = {2011-11-12 13:09:48 +0000},
	Publisher = {Cambridge University Press},
	Title = {A Compositonal Approach to Performance Modelling},
	Year = {1996}}

@book{DETPEPA,
	Author = {A. Argent Katwala and J. T. Bradley and N. Geisweiller and S. T. Gilmore and N. Thomas},
	Date-Added = {2011-11-12 12:58:44 +0000},
	Date-Modified = {2011-11-12 13:28:35 +0000},
	Title = {Modelling Tools and Tecniques for the Performance Analysis of Wireless Protocols}}

@book{PEPA-WORK,
	Author = {M. Tribastone and A. Duguid and S. Gilmore},
	Date-Added = {2011-11-12 12:56:05 +0000},
	Date-Modified = {2011-11-12 12:58:31 +0000},
	Number = {4},
	Title = {The PEPA Eclipse Plug-in. Performance Evaluation Review},
	Volume = {36},
	Year = {2009}}

@webpage{JMT,
	Date-Added = {2011-11-08 16:22:36 +0000},
	Date-Modified = {2011-11-08 16:29:08 +0000},
	Publisher = {D. of Electronics and Computer Science Polytechnic of Milan},
	Title = {Java Modelling Tools},
	Url = {http://jmt.sourceforge.net/},
	Year = {2011},
	Bdsk-Url-1 = {http://jmt.sourceforge.net/}}

@book{IAZ,
	Author = {G. Iazeolla},
	Date-Added = {2011-11-06 19:01:36 +0000},
	Date-Modified = {2011-11-06 19:03:06 +0000},
	Month = {April},
	Publisher = {Franco Angeli},
	Title = {Impianti Reti Sistemi Informatici},
	Year = {2004}}

@article{MVA,
	Author = {M. Reiser and S. S. Lavenberg},
	Date-Added = {2011-11-06 18:58:53 +0000},
	Date-Modified = {2011-11-06 19:01:22 +0000},
	Journal = {Journal of the Association for Computing Machinery},
	Month = {April},
	Number = {2},
	Pages = {313-322},
	Title = {Mean-Value Analysis of Closed Multichain Queuing Networks},
	Volume = {27},
	Year = {1980}}

@book{PAP,
	Author = {A. Papoulis and S. U. Pillai},
	Date-Added = {2011-11-05 10:47:51 +0000},
	Date-Modified = {2011-11-05 10:54:25 +0000},
	Edition = {4 International},
	Publisher = {Mc Grow Hill},
	Title = {Probability, Random Variables and Stochastic Processes},
	Year = {2002}}

@book{CUL,
	Author = {D. E. Culler and J. P. Singh and A. Gupta},
	Date-Added = {2011-11-04 10:38:02 +0000},
	Date-Modified = {2011-11-05 10:54:15 +0000},
	Edition = {1},
	Month = {August},
	Publisher = {Morgan Kaufmann},
	Title = {Parallel Computer Architecture: a Hardware-Software Approach},
	Year = {1998}}

@book{PAT,
	Author = {D. A. Patterson and J. L. Hennessy},
	Date-Added = {2011-11-04 10:33:59 +0000},
	Date-Modified = {2011-11-05 10:53:46 +0000},
	Edition = {4},
	Month = {November},
	Publisher = {Morgan Kaufmann},
	Title = {Computer Organization and Design: the Hardware-Software Interface},
	Year = {2008}}

@book{INGTLC,
	Author = {M. A. Arsan and F. Neri},
	Date-Added = {2011-11-04 10:31:36 +0000},
	Date-Modified = {2011-11-05 10:53:58 +0000},
	Institution = {University of Pisa},
	Title = {Elementi di teoria delle code, lecture notes in Teletraffic Engineering.}}

@book{KLEIN,
	Author = {L. Kleinrock},
	Date-Added = {2011-11-04 10:23:08 +0000},
	Date-Modified = {2011-11-04 10:31:32 +0000},
	Publisher = {Wiley- Interscience},
	Title = {Queueing Systems},
	Volume = {1: Theory},
	Year = {1975}}

@book{ASE,
	Author = {M. Vanneschi},
	Date-Added = {2011-11-02 14:42:51 +0100},
	Date-Modified = {2011-12-01 11:01:07 +0100},
	Publisher = {Pisa University Press},
	Title = {Architettura degli {E}laboratori, and Course Notes of High Performance Systems and Enabling Platforms, Part 2, Section 3 - Master Program in Computer Science and Networking.},
	Year = {2011}}